perm filename MYGRID.PRE[RPR,TEX] blob sn#575890 filedate 1981-03-31 generic text, type T, neo UTF8
&X.&_4λε3λ⊗λε∪H≤$α⊂λεβλ≥εSP_L$α⊂λ∧∧h,Qj$H"J¬⊂"Vj%)
D(,↔$α⊂λ∧¬0YlR_S	∧H&∩	∀`$∩)D@$S(Eλ
D	↓(λ∀*↓(
Db!λ$¬"Q_	∧*∃
Db⊃$¬"1λλ∀(∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀(&∀*↓h∞Fc!H π#QX
ε*∃∞Fc∧H"Qλ∧λ"Qλ∧λ"S	¬(*U*U(*Tj%λ$⊂β⊃@$Qλ∧λ"Qλ∧λ"S
U(*U*U(*∀J⊃H∩(D Q(D Q)E(*U*U(*U
5λ(ε#∧H"⊂λ∀("⊂λ∀(&∃*U(*U*U(R(D Q(D Q(E(*U*U(*U*∃$∩(D Q(D Q)E(*U*U(*U*%λR(Eλ$Q(Eλ∞Fλ↓`
F*U(*U*U(*Tj⊃`
ε#¬⊂$Q(E(*U*U(*U*U(*T*∧λ"Q
∩(⊂⊂∧B_⊂U*U(*U*U(*∀$2⊂⊂TJ∧λ"Qλ∧λ"Q
U(*U*U(*Uλ∀0)⊂hT  ⊂(T0*U*U(*U*U (∩	∀ (PhT  ⊂(T *U*U(*U*U (R(D Q(D Q(e(*U*U(*U*Eλ(∩	∀  ⊂(T  ⊂(T0*U*U(*U*U )∩(D Q(D Q(e(*U*U(*U*E⊂$Qλ∧λ"Qλ∧λ"QH%(*U*U(*U*Eλ(∩	∀  ⊂(T  ⊂(T0(T∧2*Tj∃∩λd∀∩λd∃()T*α_⊂∀*α(⊃λ
U_)∩(D Q(D S	∧λ"⊂λ∀ *TJα⊂!Q(b⊂*TJ∧λ"⊂λ∀0⊃λ
U⊂(T	∀  ⊂(T  ⊂(d⊂ Qλ∧λ&∃*∩λ⊂⊂hT0⊂H
Uλ$Qλ∧λ"λ$¬()∩(D Q(D Q(D S
Rλ!Q(bλ*R(D Q(bλ⊂∃*∧H"⊂λ∀("⊂λ∀("⊂λ∀`*∀j%λ⊂PhT0⊂U
5⊂(R(D Q(bλ*∀j%λ(∩(D Q(D Q(D S
E_)∀λ$_"QH% )TJ∧H"⊂λ∀(#⊂JE_)∀)¬λ Q(D Q(D S
E_(T∧∀_"QD∃ )T*∧H"⊂λ∀(#λ*E_)∀(∀("⊂λ∀("⊂λ∀`*∀j∀⊂!Q(d⊂*∀j∀H"⊂λ∀(#⊂JE_)⊂(T  ⊂(T  ⊂)E )T(4(#∃
5λ$Qλ∧λ"QH% )T(∀("⊂λ∀("⊂λ∀`*∀j∧⊂!Q(d⊂*∀j∧H"⊂λ∀(#⊂JE_ Q(D Q(Eλ$∃
4⊂!Q(d⊂*∀i¬λ Q(e )R(T  ⊂)D@ Q
E_(PhT0*∀j∀λ"QH% )∀*∧H"Qλ∧λ#⊂H∀ *∀j∧_"QJE_(⊂(T0*∀J∀λ"Qλ∧λ"Q
E⊂(Tλ$_"QH% )∀*∧λ"QJE⊂(R(T  ⊂(T *∀J∀_"QJE⊂(P(T0!∃
$λ"Qλ∧λ"Q
E⊂(⊂hT0*∀J∧λ"QJE⊂$Q(D Q)E )∀λ4(#∃
%$Q(E (Tλ∀("⊂λ∀("∃
$_"QJE⊂ Q(e )∩(T  ⊂(T`*∀H4(#∃
$H"QJEλ(⊂(T  ⊂(T *∀*∧_"QJEλ(⊂(T0*∀*∧H"Qλ∧λ"S
Eλ(⊂(T *∀*∧H"Q
Eλ Q(D Q(E (Tλ4(#∃
∃ Q(e (P(T  ⊂(T`*∀*∧_"QJEλ(∩(T *∀)∧("⊂λ∀("∃
∀λ"Q
Eλ Q(e (TλT  ⊂(T`*∀*∧_"QJEλ(∩(T *∀(T  ⊂(T *∀(∀("∃
∀λ"Q
Eλ"Qλ∧λ"Q
Eλ!Q(e (P(T0*∀(T  ⊂(T`*∀(∀("∃
∀H"Q
E"Qλ∧λ"Q
Eλ!Q(e (P(T *∀λT  ⊂(T *∀λ∀("∃
∧λ"Q
E"Qλ∧λ"S
Eλ Q(E (R(T *∀λT  ⊂(T *∀(4(#∃
∀λ"Q
E"Qλ∧λ"Q
E Q(E (⊂(T *∀λT  ⊂(T *∀λ∀("∃
∧λ"Q
E"Qλ∧λ"Q
E!Q(e (⊂(T *∀λT  ⊂(T *⊂(T *⊂(T *∀λT  ⊂(T *⊂(T *⊂(T *∀λT  ⊂(T *⊂(T *⊂(T`*∀(T  ⊂(T *⊂(T *⊂(T *∀(T  ⊂(T *⊂(T *⊂(T *∀(T  ⊂(T *⊂(T *⊂(T`*∀*∧("⊂λ∀("∃λ∀("∃λ∀("∃
∀⊂"Qλ∧λ"Q
Dλ"Q
Dλ"Q
E Q(D Q(E  Q(E  Q)E (P(T  ⊂(T *⊂(T *⊂(T`*∀*∧_"Qλ∧λ"Q
Dλ"Q
Dλ"Q
Eλ Q(D Q(E  Q(E  Q)E (Tλ∀("⊂λ∀("∃λ∀("∃λ∀(&∃
$_"Qλ∧λ"Q
E$Q)E (⊂(T *∀*∧λ"Qλ∧λ"Q
E Q(E (⊂(T`*∀H4("⊂λ∀("∃
∧λ"Q
E Q)E )⊂(T`$Qλ∧λ"Q
Eλ$Q)E (P(T`*∀J∧_"QH4  ⊂(T0*∀(∀("∃
∀_"S	¬ )∀λ4("⊂λ∀("∃
∧λ"Q
E Sβ$H"S
E⊂(P(T  ⊂(T *∀)∀(&∃
∀λ&∩
%λ$⊂)E )∀*∧_"Qλ∧λ"QJEλ Q(E (PiE_(R)D@*∀J∃ Q(D Q(E (R(T`*∀(∀`)TI∀`$∃
5 Q(D Q(E (P(T *∀(∀`)TJ∀H&∩
E_(Tλ∀("⊂λ∀(#∃
∃$Q)E (Tλ4 )TJ∀λ&∩
E_)∀λ∀("⊂λ∀("∃
∀λ"Q
Eλ S
DH&ε*E_)⊂J∀λ"Qλ∧λ"QJEλ(∩(T`*∀*∧_"∃λ∀`U
5⊂(PhD Q(D Q(E (T	∀(&∃
∃ Q
E
∃(4  ⊂(T  ⊂(T0*∀*∧λ"Q
Eλ(⊂hE(*∀H4  ⊂(T  ⊂(T *∀*∧H"S
Eλ(⊂(E(*∀*∧_"⊂λ∀("⊂λ∀(#∃
$H"S
E⊂!Q
U (PhD Q(D Q(E )∩(T`*∀H∀ *U
∧_"⊂λ∀("⊂λ∀(#∃
%$Q)E )∀λ4 *Uλ4  ⊂(T  ⊂(T *∀J∧H"S
E⊂(⊂(E()TJ∀⊂!Qλ∧λ"Qλ∧λ"Q
E⊂(R(T`*∀J∀λ"∃*5⊂(⊂hD Q(D Q(E )∀*∧@$Q)D@*∀J∃ Q
U_)⊂hD Q(D Q(E )T	∀(&∃
5 Q
U_(PH4  ⊂(T  ⊂(T *∀j∀H"S
E_(P(E()PH4  ⊂(T  ⊂(T (PJE_$∩(T`$∃
4⊂(P(E()∀($_"⊂λ∀("⊂λ∀("⊂λ∀0*∀j∧@$Q)D@*∀j∧_"⊂λ∀0*TH$_"⊂λ∀("⊂λ∀("⊂λ∀0*∀j∀H"S
E_(PhD Q
U!⊂hD Q(D Q(D QJE_(R	∀(&∩
E_(PhD QJE_)∀*∧⊂!Qλ∧λ"Qλ∧λ"Qλ∧λ#∃
5λ(ε)∀(&ε*E_(Tλ4  ⊂(e )T*αλ!Qλ∧λ"Qλ∧λ"Qλ∧λ#∃
5⊂(∩	∀(&∩
E_)∀λ4  ⊂(e )∀*αλ!Qλ∧λ"Qλ∧λ"Qλ∧λ#∃
5⊂(F)∀(&ε*E_)∀(4  ⊂(d⊂*λH4  ⊂(T  ⊂(T  ⊂(e(R(T`U(4  ⊂(b⊂⊂P∧"λ⊂⊂hD Q(D Q(D QJUλF	∀(&ε#¬((PhD Q(D Q(D Q(D QJU⊂(εI∀(&εJU⊂(⊂hD Q(D Q(D Q(D QJU_(εc$H"Sβ1P*Tj∧_"⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀0*U
%
FC∧
FC¬(*∀J∧_"⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀0!∃*U(*Tλ$_"⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀0*U*U )TJ∃!Qλ∧λ"Qλ∧λ"Qλ∧λ"Qλ∧λ#∃*U(*∀j%!Qλ∧λ"Qλ∧λ"Qλ∧λ"Qλ∧λ#⊂JU(*U
5!⊂hD Q(D Q(D Q(D QH%(*U*E⊂(⊂H4  ⊂(T  ⊂(T  ⊂(T (R(E(*U*Eλ(⊂(Eλ$Q(D Q(Eλ∞Fλ↓h∀CAH∃*U(*∀J↓`
∀CQXPβQXF
∀λ"Q
U(*U*U(*U*U((⊂(T (I$∧∩TJ∩ ⊃H
U(*TJ∃∩λd∃⊂(I$2 	$2λ⊂∀(∀("⊂λ∀(#∀H40⊂U*U((λ(40)⊂hT  ⊂(T  ⊂(T (Phd⊂*U*E_)∀λ$_"∀(4("⊂λ∀("⊂λ∀("⊂λ∀0⊂U*U )∀*αλ!Qλ∧λ"Qλ∧λ"Qλ∧λ"Qλ∧λ#λ*U(*∀∧∀_"⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀0⊂H
U()T∧∩!Qλ∧λ"Qλ∧λ"Qλ∧λ"Qλ∧λ#λJU )TJ∃⊃⊂hD Q(D Q(D Q(D QD2⊂*TJα_⊃⊂hD Q(D Q(D Q(D QDB 	∧∧_"⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀(&∩(D Q(D Q(D Q(D Q(d_"⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀(&∩(D Q(D Q(D Q(D Q(d_"⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀("⊂λ∀8"∀"Q!¬"¬λ(¬"Q_	∧(!(
Db!λ(TαQ_λDλ!(	D"¬λ QH$_#⊂H40!⊂hd⊂!Mπβλ≠Lg∪__
εs(~
εβ__N'β⊂~
F3λ_&∪λ→f#⊂→F3λ→L&C _M&C(→LfSλ≠FC⊂~LFc0_Mf∪@→Mε#8~
εCλ→M&#λ→ε#@~fC⊂→MF∪H~LεSλ~LFS_↔Ebp↔Ebp↔Ebp↔Ebp↔Ebp↔Ebp↔Ebp↔Ebp↔Ebp↔Ebp↔Ebp↔Ebp↔@wZ¬npα=↑βh8{@Sw↓)>pαY=`(@;@YPw↓6↑pαs⎇`(u;@` w↓Cnpβ∞=`0){@fpw↓Q∞pβ(⎇`0↑{@m@w↓↑.pβC=`8∪{@t⊂w↓kNpβ]]`8H{@zXwP→⊂wR@⊂wV⊃P⊂wX;0⊂w↓xnx≤i@∞x 2≡αλw↓|∞x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pβ}⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`@
{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;AβwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wα	.x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∧→=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`@?{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A	HwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wα⊗Nx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∧3]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`@t{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A⊂_wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wα#nx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∧N≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`H){g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A⊗hwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wα1∞x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∧h]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`H↑{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A≥8wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wα>≡x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p¬β≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`P∪;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A$λwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wαK>x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p¬≥]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`PH;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A*XwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wαX↑x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p¬8≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`P⎇;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A1 wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wαe}x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p¬R=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`X2;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A7pwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wαs≡x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p¬l⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`Xg;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A>@wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβ>x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pεπ=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]``≤;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;AE⊂wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβ
Nx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pε!⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]``P{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;AK`wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβ~nx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pε<=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`h¬{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;AR0wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβ(∞x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pεV⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`h:{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;AXxwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβ5.x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pεq≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`ho{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;A←HwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβBNx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pπ]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`p${g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;Af_wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβOnx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pπ&≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`pY{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;AlhwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβ\}x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pπ@]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`x∞;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;As8wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβj≡x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pπ[≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`xC;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;AzλwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wβw>x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pπu]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]`xx;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;BPwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂w∧∧↑x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pλ∂⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]a-;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;Bπ wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂w∧⊃}x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pλ*=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]ab;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;B
pwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂w∧∨≡x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.pλD⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]aλ↔;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;B∀@wN4`wP→⊂wQ⊂wQ⎇!_wW)`wX;0⊂w∧,.x≤i@∞x 2.x" ∞x#m!}x0v`.pλ←=sHS≥td]t @≥t8Mβ≥vλm@]aλK{g~0;h@↓;hH;hxε{l≥X↓;B≠⊂wN4`wP→⊂wQ⊂wQlPHwX;0⊂w∧9Nx≤i@∞x 2.x" ∞x#Y!>x0v`.pλy⎇sHS≥td]t @≥t8%B⎇vλm@]a⊂{g~0;h@;B!`wN4`wP→hw∧Fnx≤i@∞x 2αnp	∀=sHS≥td]t @≥t8%B=vλ`]a⊂5{g~0;h@↓;hH;htX¬{l≥X↓;B((wN4`wP→⊂wQ⊂wQlPPwX;0⊂w∧T∞x≤i@∞x 2.x" ∞x#Y!Nx0v`.p	.]sHS≥td]t @≥t8@α]vλm@]a⊂j{g~0;h@↓;hH;hyP¬;l≥X↓;B.xwN4`wP→⊂wQ⊂wQvPhwX;0⊂w∧a.x≤i@∞x 2.x" ∞x#zCnx0v`.p	I≥sHS≥td]t &]t@α]tH!↓=u1@≥u_↔↓=u@F@]u`X↓⎇vλm@]a_∨{g~0;h@↓;hD`↓;i ↓;i∩8α{jε_;j;⊂α{kλh↓;kTpα{l≥X↓;B5HwN4`wP→⊂wQ⊂wR@⊂wR!P_wT0wUβ@_wV⊃P⊂wW)`wW7(wX;0⊂w∧nNx≤i@∞x 2.x" ∞x$↓.x$<@nx(_`∞x*~`nx,# .x.S@∞x/λ@}x0v`.p	c]sHS≥td]t @≥t@α]t@l↓]u1@≥u ]↓]u@F@]uh'≥up8B≥a_T{g~0;h@↓;hH;i ↓;ihβ;jε_;jNxβ;kλh↓;kTp;kj0β;B<_wN4`wP→⊂wQ⊂wR@⊂wR∀0(wT0wU'p(wV⊃P⊂wW)`wW↑`(w∧{↑x≤i@∞x 2.x" ∞x$↓.x$"Nx(_`∞x*]Nx,# .x.S@∞x/J`↑p	}≥sHS≥td]t @≥t@α]t@7↓=u1@≥u(G↓=u@F@]uh'≥ux0↓≥a 	;g~0;h@↓;hH;i β;jε_;j\_β;kTp;ky(↓{BBhwN4`wP→⊂wQ	@⊂wR@ wT0wU? wW)`wWup0w¬λ}x≤i@∞x 2.x"∪.x$↓Nx(_`∞x+∧@Nx.S@∞x/yNp
_]sHS≥td]t @≥t@α↓]u1@≥u0⊗A]uh'≥ux␈↓≥a >;g~0;h@↓;hH;i α;jε_;jf⊂α;kTp;l↓Hα;BI8wN4`wP→⊂wQ⊂wR@ wT0wUO@ wW)`wX	`_w¬⊗≡x≤i@∞x 2.x" ∞x#z@Nx(_`∞x+%`Nx.S@∞x0~Np
3≥sHS≥td]t @≥t8u⎇u1@≥u0X@⎇uh'≥v4⎇a s;g~0;h@↓;hH;h|x↓{jε_;jl`↓{kTp;lλ_α;BPwN4`wP→⊂wQ⊂wQyp wT0wU\` wW)`wX∪P w¬#>x≤i@∞x 2.x" ∞x#m Nx(_`∞x+@Nx.S@∞x0.>p
M=sHS≥td]t @≥t8ZA≥u1@≥u8↓≥uh'≥v\⎇a((;g~0;h@↓;hH;hyPα;jε_;jqXα;kTp;l
⊂↓{BVPwN4`wP→⊂wQ⊂wQs _wT0wUfP_wW)`wX~ _w¬0↑x≤i@∞x 2.x" ∞x#`Nx(_`∞x+M Nx.S@∞x0;.p
g⎇sHS≥td]t @≥t8@⎇u1@≥u8(⎇uh'≥vv]a(];g~0;h@↓;hH;hx↓{jε_;ju↓{kTp;l∞`↓;B] wN4`wP→⊂wQ⊂wQlP_wT0wUm _wW)`wX p⊂w¬=}x≤i@∞x 2.x" ∞x#Y >x(_`∞x+Z@>x.S@∞x0A`.pα=sHS≥td]t @≥t82@⎇u1@≥u8B@⎇uh'≥vλβ@]a0∩;g~0;h@↓;hH;htX↓{jε_;jx(↓{kTp;l⊂8↓;BcpwN4`wP→⊂wQ⊂wQi0_wT0wUpP_wW)`wX p⊂w¬K∞x≤i@∞x 2.x" ∞x#R`>x(_`∞x+g`>x.S@∞x0A`.p≤⎇sHS≥td]t @≥t8%@⎇u1@≥u8O@⎇uh'≥vλβ@]a0F{g~0;h@↓;hH;htX↓{jε_;jyx↓{kTp;l⊂8↓;Bj@wN4`wP→⊂wQ⊂wQi0⊂wT0wUw ⊂wW)`wX p⊂w¬X.x≤i@∞x 2.x" ∞x#R`.x(_`∞x+n@.x.S@∞x0A`.p7=sHS≥td]t @≥t8%@]u1@≥u8]]uh'≥vv]a0{{g~0;h@↓;hH;htX↓;jε_;j{P↓;kTp;l∞`↓;Bq⊂wN4`wP→⊂wQ⊂wQi0⊂wT0wUw ⊂wW)`wX≥@⊂w¬eNx≤i@∞x 2.x" ∞x#R`.x(_`∞x+n@.x.S@∞x04@>pQ⎇sHS≥td]t @≥t8%@]u1@≥u8]]uh'≥vi⎇a80{g~0;h@↓;hH;htX↓;jε_;j{P↓;kTp;l
⊂↓{BwXwN4`wP→⊂wQ⊂wQi0⊂wT0wUw ⊂wW)`wX↔_w¬rnx≤i@∞x 2.x" ∞x#R`.x(_`∞x+n@.x.S@∞x0' Npl≥sHS≥td]t @≥t8%@]u1@≥u8]]uh'≥vN@⎇a8e{g~0;h@↓;hH;htX↓;jε_;j{P↓;kTp;lλ_α;B}(wN4`wP→⊂wQ⊂wQi0⊂wT0wUw ⊂wW)`wX
_wε∞x≤i@∞x 2.x" ∞x#R`>x(_`∞x+g`>x.S@∞x0~Npε]sHS≥td]t @≥t8%@⎇u1@≥u8O@⎇uh'≥v'⎇a@~{g~0;h@↓;hH;htX↓{jε_;jyx↓{kTp;lβ_↓{C∧xwN4`wP∂⊂λwP→⊂wQ⊂wQi0_wT0wUpP_wW)`wXβ⊂ wε
.x≤i@∞x ≡ ≡x 2.x" ∞x#R`>x(_`∞x+a >x.S@∞x/y↑p!≥sHS≥td]t @≥t82@⎇u1@≥u8B@⎇u`J@]uh'≥uxdA≥a@O{g~0;h@↓;hH;hv(↓{jε_;jvP↓{kFα{kzxα{CHwN4`wP→⊂wQ⊂wQlP_wT0wUm _wWλ`_wWo 0wε~>x≤i@∞x 2.x" ∞x#`>x(_`∞x+T>x.
`>x/Q ↑p;]sHS≥td]t @≥t8@⎇u1@≥u8(⎇u`λA≥uxλ↓]aH∧;g~0;h@↓;hH;hxα;jε_;js(α;kAλα;kmXβ;C∩_wN4`wP→⊂wQ⊂wQs _wT0wUfP_wV}`⊂wWQ@8wε'↑x≤i@∞x 2.x" ∞x#f@Nx(_`∞x+F`Nx-⎇@.x/∂ nx0v`.pV≥sHS≥td]t @≥t8ZA≥u1@≥u8↓≥uX{↓=vλm@]aH9;g~0;h@↓;hH;h{(α;jε_;jpα;k?0α;l≥X↓;C_hwN4`wP→⊂wQ⊂wQyp wT0wU\` wV}`(wX;0⊂wε4}x≤i@∞x 2.x" ∞x#s`>x(_`∞x+3>x-⎇@Nx0v`.pp]sHS≥td]t @≥t8u⎇u1@≥u0X@⎇uX{↓≥vλm@]aHn;g~0;h@↓;hH;h}Pα;jε_;ji8α;k?0↓{l≥X↓;C∨0wN4`wP→⊂wQ⊂wR@ wT0wUO@ wV}`0wX;0⊂wεB≡x≤i@∞x 2.x" ∞x$↓Nx(_`∞x+_@Nx-⎇@↑x0v`.p
⎇sHS≥td]t @≥t@α↓]u1@≥u0⊗A]uX{↓≥vλm@]aP#;g~0;h@↓;hH;i α;jε_;ja⊂α;k?0α{l≥X↓;C&wN4`wP→⊂wQ⊂wR@ wT0wU? wV}` wX;0⊂wεO>x≤i@∞x 2.x" ∞x$↓nx(_`∞x*p`nx-⎇@↑x0v`.p
%=sHS≥td]t @≥t@α]t@7↓=u1@≥u(G↓=u@F@]uX{↓≥vλm@]aPX;g~0;h@↓;hH;i ↓;iλ@α;jε_;jW α;kλh↓;kAλα;l≥X↓;C,PwN4`wP→⊂wQ⊂wR@⊂wR∀0(wT0wU'p(wV⊃P⊂wWα⊂8wX;0⊂wε\↑x≤i@∞x 2.x" ∞x$↓.x$/ nx(_`∞x*;`nx,# .x.
`nx0v`.p
?⎇sHS≥td]t @≥t@α]t@l↓]u1@≥u ]↓]u@F@]u`#↓]vλm@]aX
;g~0;h@↓;hH;i ↓;i∂⊂β;jε_;jFXβ;kλh↓;kFα;l≥X↓;C3 wN4`wP→⊂wQ⊂wR@⊂wR!P_wT0wUβ@_wV⊃P⊂wW∩P8wX;0⊂wεinx≤i@∞x 2.x" ∞x$↓.x$I`↑x(_`∞x)l@↑x,# .x.S@∞x0v`.p
Z=sHS≥td]t @≥t@α]tH!↓=u1@≥u_↔↓=u@F@]uh'≥vλm@]aXA{g~0;h@↓;hH;i ↓;i∃`β;jε_;j≥0β;kλh↓;kTp;l≥X↓;C9pwN4`wP→⊂wQ⊂wR@⊂wR.awV⊃P⊂wW)`wX;0⊂wεw∞x≤i@∞x 2.x" ∞x$↓.x$d!∞x,# .x.S@∞x0v`.p
t⎇sHS≥td]t @≥t@α]tHcα=u@F@]uh'≥vλm@]aXv{g~0;h@↓;hH;i ↓;i≡∧;kλh↓;kTp;l≥X↓;C@@wN4`wP→⊂wQ⊂wR@⊂wR?0HwV⊃P⊂wW)`wX;0⊂wπ∧.x≤i@∞x 2.x" ∞x$↓.x%↓≡x,# .x.S@∞x0v`.p∞∂=sHS≥td]t @≥t@α]tP2A⎇u@F@]uh'≥vλm@]a`+{g~0;h@∞{CGλwN4`wP→`wπ⊃Nx≤i@∞x 2β}p∞)]sHS≥td]t @≥t8u]tX∂↓⎇u@9@]uh'≥vλm@]a``{g~0;h@↓;hH;i ↓;i6h∧{kλh↓;kTp;l≥X↓;CMXwN4`wP→⊂wQ⊂wR@⊂wRt HwV⊃P⊂wW)`wX;0⊂wπ≡nx≤i@∞x 2.x" ∞x$↓.x%| }x,# .x.S@∞x0v`.p∞D≥sHS≥td]t @≥t@α]t` B=u@F@]uh'≥vλm@]ah∃{g~0;h@↓;hH;i ↓;iJX∧{kλh↓;kTp;l≥X↓;CT(wN4`wP→⊂wQ⊂wR@⊂wS%p@wV⊃P⊂wW)`wX;0⊂wπ,∞x≤i@∞x 2.x" ∞x$↓.x'!`nx,# .x.S@∞x0v`.p∞↑]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]ahJ{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;CZxwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wπ9≡x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∞y≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]ah␈;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;CaHwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wπF>x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∂∪]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]ap4;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;Ch_wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wπS↑x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∂.≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]api;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;Cn`wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wπ`}x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∂H=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]ax≡;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;Cu0wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wπn≡x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∂b⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]axS;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;C|wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wπ{>x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∂⎇=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]bλ;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;DαPwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wλλNx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p⊂↔⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b<{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;D	 wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wλ∃nx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p⊂2=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]bq{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;D∂pwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wλ#∞x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p⊂L⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]bλ&{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;D⊗8wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wλ0.x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p⊂g≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]bλ[{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;D≥λwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wλ=Nx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p⊃↓]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b⊂⊂{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;D#XwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wλJnx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p⊃≤≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b⊂E{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;D*(wN4`wP→⊂wQ⊂wR@⊂wT0wU+⊂λwV⊃P⊂wW)`wX;0⊂wλW}x≤i@∞x 2.x" ∞x$↓.x(_`∞x*V ≡x,# .x.S@∞x0v`.p⊃6]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b⊂z;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;D0xwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wλe≡x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p⊃Q≥sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b_/;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;D7HwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wλr>x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p⊃k]sHS≥td]t @≥t@α]u1@≥u(,@=u@F@]uh'≥vλm@]b_d;g~0;h@↓;hH;i ↓;jε_;jUH{kλh↓;kTp;l≥X↓;D>⊂wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂wλ␈↑x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∩¬⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b →;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;DD`wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂w	}x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∩ =sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b N;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;DK0wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂w	~≡x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∩:⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b(β;g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;DRwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂w	'.x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∩U=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b(7{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;DXPwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂w	4Nx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∩o⎇sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b(l{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;D← wN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂w	Anx≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∪
=sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b0!{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;DehwN4`wP→⊂wQ⊂wR@⊂wT0wV⊃P⊂wW)`wX;0⊂w	O∞x≤i@∞x 2.x" ∞x$↓.x(_`∞x,# .x.S@∞x0v`.p∪$]sHS≥td]t @≥t@α]u1@≥u@F@]uh'≥vλm@]b0V{g~0;h@↓;hH;i ↓;jε_;kλh↓;kTp;l≥X↓;Dl8wN4`wP→∂⊂{Dn⊂wP→⊂wR@⊂wV⊃P⊂wX;0⊂w	←Np∪E⎇b8_{Dt`w	lnp∪`=b8M{D{(w	z∞p∪z]b@α{E↓xw
π.p∀∃≥b@7{EλHw
∀Np∀/]b@l;E∂_w
!↑p∀J≥bH!;E∃hw
.}p∀d]bHV;E≤8w
<≡p∀␈≥bP;E#w
I>x18⎇`8ε@=v⊂q{B≤`;l._w¬=pwX\>p
n≡x18⎇b0π=up≡{@ph{kchw∧, λwWG↑p
n≡x/∂=b0π=uh\;C⊂@;kQPwεVwW∞pλs∞x,e]`8ε@=uHK;B≤`;k→0w¬QPλwV2np
n≡x,e]axm@=uHK;D`p{kβpw∧␈λwVπnpB≡x+⊃⎇bλv=u(T{D?h{j/Hw∧9@wT←≡p
n≡x(T=`8ε@=uλ({D`p{izPw∧9@wSu.p
n≡x%∩]a_|=tP%;C⊂@{i⊂hw↓aPλwR!↑pλs∞x$C=a0F@=tHε{C;@{i⊂hw	A`λwQ-}pβC ≡x"[⎇aλ1=t(7{C;@{hVxw	A`λwQ'.p	]≡x!␈≥a⊂5@=tλh{@ph{h≥λw∧, λwP:≡p
n≡x t=b0π=tλ3{By0{g) w↓aPλwNRNpλX@≡x≥%≥aX\=sPJ;D`p{l∨(w↓x`wX>↑p	π∞x0⎇=a0∨≥vλz{CGλ;l∨(w	XpwW)npβq@∞x.S]a⊂∞≥uh';CGλ;kTpw	XpwW→.pV∞x.2]aP0≥uX9;B!`;k
@w↓x`wV∃∞p	π∞x,*≥a8#@≥u@T;CGλ;k
@wλ∩@wV∃∞p∪1`∞x+T≥a X@≥u8(;C≤⊂;jUHwλTPwU+≡p⊃k@∞x)α]a⊂∞≥u⊂¬;CGλ;jε_w↓x`wT>p∪1`∞x'/≥a⊂∞≥tp↑;CGλ;i∃`w¬⊗⊂wR+Npp@∞x$π]`8c≥t@∂;B!`;i↓pw¬hpwRβnp∞≤ ∞x$π]b0c@≥t @;@|0;hHw∧C@wQ⊂∞p∞≤ ∞x" ≥b0c@≥t &;B2 ;hD`w¬¬PwP≤.pβq@∞x 8]a⊂∞≥tq;CGλ;h∞⊂w	XpwP∂≡p∪`∞x≤i]`8c≥sHS;B!`;g~0wπ∞⊂wN4np∪1`∂x>@Z@
E06Iαa ␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x∧∨a% $S(U_)∪iTλ'↓@∧λ∨`40$Q`↓ λ@β0 α⊂ 5`α(@α_?␈xK<	Ep λ␈␈␈␈x∀␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈xβ≠/⊗89~,@UλU@⊂⊃nV(9]∞2∀∃λU@⊂⊂∧¬_ R)BH
∪,↔⊂1Z∧β__K∧βλ≤Nε∩⊂λ∧β_NFβ(≥&⊂